（来源：上观新闻）
OpenAI🌀之外，多家📵厂商在Agent✏领域持续更新🗳迭代，包括An🥛🇨🇫thro🛰🗻pic🐀 Clau🦡de、🇪🇨👨⚖️字节跳动豆包🇮🇶🚽、阿里千问、智谱🇨🇱🚚GLM系列💔等🌦◀。（图 / 🚁🕍招股书👩💼） 更🇬🇮📪值得关注的是，🍦AIoT🎞业务的毛利率在🇧🇾💠2025🈶◽年出现下滑🐇。但你无法在🧘♂️没有能源的情况🐟👾下完成这些👫🍺，并且这些问题🇧🇦🍼都需要很💌🚑长时间去🖼解决🚋。R1发布之后，🧟♀️🖤这家公司迅速被🚞🏣推到一个✋极高的位置：🗡极致性价比、算💒🥂法创新🐈、国产替代路径等🖱🐔等⚖。我甚至还没想好具🎉🕟体功能🙅。如今斯人已逝，这🐙个原本还以为🎴💽来日方🌇长的心愿，🤾♂️🇱🇺终于变成🇰🇪了一个再📌🕑也无法🇵🇰🤺弥补的遗憾🚛。
图丨相关论文⛺😕（来源🕍：arX🐇iv） 相关🇹🇱论文以《8️⃣FM-A🚚📳gent：🧶🏉通过基于大语言模🇦🇺⚡型的霍尔逻辑推🐕理将形式👨👨👧化方法扩展至大规🦔🚑模系统软件》（F🇱🇷M-A🌞🇫🇷gent:✏🛣 Scaling🐃📇 For🐣🖤mal Me💝🧒thods🗑👌 to 🎈Large 😋🎬Systems ☺◀via 🈚👢LLM-♍Based Ho💌🐡are-Sty🥅👉le 🧯🧔Rea🥼⚡soning）🥁为题发表在预印本🍏⏸网站 arXiv🇸🇿🧴亚色自拍[1]🇭🇰。
